body,td,pre{font-size:18px}